On Quantified Modal Logic
نویسنده
چکیده
Propositional modal logic is a standard tool in many disciplines, but first-order modal logic is not. There are several reasons for this, including multiplicity of versions and inadequate syntax. In this paper we sketch a syntax and semantics for a natural, well-behaved version of first-order modal logic, and show it copes easily with several familiar difficulties. And we provide tableau proof rules to go with the semantics, rules that are, at least in principle, automatable.
منابع مشابه
Suhrawardi's Modal Syllogisms
Suhrawardi’s logic of the Hikmat al-Ishraq is basically modal. So to understand his modal logic one first has to know the non-modal part upon which his modal logic is built. In my previous paper ‘Suhrawardi on Syllogisms’(3) I discussed the former in detail. The present paper is an exposition of his treatment of modal syllogisms. On the basis of some reasonable existential presuppositi...
متن کاملOn the Relationships among Quantified Autoepistemic Logic, Its Kernel, and Quantified Reflective Logic
A Quantified Autoepistemic Logic is axiomatized in a monotonic Modal Quantificational Logic whose modal laws are slightly stronger than S5. This Quantified Autoepistemic Logic obeys all the laws of First Order Logic and its L predicate obeys the laws of S5 Modal Logic in every fixed-point. It is proven that this Logic has a kernel not containing L such that L holds for a sentence if and only if...
متن کاملRepairing the interpolation theorem in quantified modal logic
Quantified hybrid logic is quantified modal logic extended with apparatus for naming states and asserting that a formula is true at a named state While interpolation and Beth’s definability theorem fail in a number of well known quantified modal logics (for example in quantified modal K, T, D, S4, S4.3 and S5 with constant domains), their counterparts in quantified hybrid logic have these prope...
متن کاملRepresenting Counterparts
This paper presents and motivates a counterpart theoretic semantics for quantified modal logic based on a fleshed out account of Lewis’s notion of a ‘possibility.’ According to the account a possibility consists of a world and some haecceitistic information about how each possible individual gets represented de re. A semantics for quantified modal logic based on evaluating formulae at possibili...
متن کاملOn the Relationship between Quantified Reflective Logic and Quantified Default Logic
ON THE RELATIONSHIP BETWEEN QUANTIFIED REFLECTIVE LOGIC AND QUANTIFIED DEFAULT LOGIC Frank M. Brown Abstract: Reflective Logic and Default Logic are both generalized so as to allow universally quantified variables to cross modal scopes whereby the Barcan formula and its converse hold. This is done by representing both the fixed-point equation for Reflective Logic and the fixed-point equation fo...
متن کاملCounterpart Semantics for Quantified Modal Logic
In this paper we deal with the semantics for quantified modal logic, QML in short, and their philosophical relevance. In the first part we introduce Kripke semantics for the first-order modal language L= with identity, then we consider some unsatisfactory features of this account from an actualist point of view. In addition, we show that the calculus QE .K + BF on free logic, with the Barcan fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Fundam. Inform.
دوره 39 شماره
صفحات -
تاریخ انتشار 1999